2

On model checking for the μ-calculus and its fragments

Year:
2001
Language:
english
File:
PDF, 276 KB
english, 2001
3

Secure distributed storage and retrieval

Year:
2000
Language:
english
File:
PDF, 167 KB
english, 2000
4

Testing low-degree polynomials over prime fields

Year:
2009
Language:
english
File:
PDF, 294 KB
english, 2009
5

A methodology for designing proof rules for fair parallel programs

Year:
1997
Language:
english
File:
PDF, 1.16 MB
english, 1997
6

Encryption Modes with Almost Free Message Integrity

Year:
2008
Language:
english
File:
PDF, 552 KB
english, 2008
7

Finding extremal sets in less than quadratic time

Year:
1993
Language:
english
File:
PDF, 498 KB
english, 1993
8

Determinization and Memoryless Winning Strategies

Year:
1997
Language:
english
File:
PDF, 1.60 MB
english, 1997
9

The Complexity of Tree Automata and Logics of Programs

Year:
1999
Language:
english
File:
PDF, 519 KB
english, 1999
12

Shorter Quasi-Adaptive NIZK Proofs for Linear Subspaces

Year:
2016
Language:
english
File:
PDF, 701 KB
english, 2016